🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
📊 Runtime Verification
Temporal Properties, Trace Analysis, Monitoring, Dynamic Validation
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Building a Debugger • Sy Brand & Tim Misiak
buzzsprout.com
·
11h
·
Discuss:
r/programming
👁️
System Observability
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Everything you need to know about monorepos, and the tools to build them
monorepo.tools
·
5h
·
Discuss:
Hacker News
🔄
Reproducible Builds
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
How to Fix Performance Issues Error Monitoring Can’t See
thenewstack.io
·
1h
👁️
System Observability
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Evals in the Age of Jarvis
lesswrong.com
·
21h
🎮
Verification Games
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A Developer's Guide to Negative API Testing
blog.dochia.dev
·
6h
·
Discuss:
Hacker News
,
r/programming
💎
Refinement Types
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Garbage Collection (GC) Pauses: A "stop-the-world" GC pause in a critical service
howtech.substack.com
·
23h
·
Discuss:
r/programming
👁️
System Observability
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Towards Robust Agentic CUDA Kernel Benchmarking, Verification, and Optimization
arxiv.org
·
3d
💎
Refinement Types
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Effect Systems vs. Print Debugging: A Pragmatic Solution
blog.flix.dev
·
1d
·
Discuss:
Hacker News
🔬
Static Analysis
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
MLOps Fundamentals: 6 Principles That Define Modern ML Operations (from the author of LLM Engineering Handbook)
javarevisited.substack.com
·
2d
·
Discuss:
r/programming
🔄
Reproducible Builds
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Sneaky Code Bites Back
architecture-weekly.com
·
6h
·
Discuss:
r/programming
💎
Refinement Types
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Tips for Working with Legacy Code
esveo.com
·
4h
·
Discuss:
Lobsters
,
Hacker News
🔬
Static Analysis
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Method Tracing in Async-Profiler
github.com
·
3d
·
Discuss:
Hacker News
👁️
System Observability
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
I built a live LLM regression monitor for coding tasks, what broke, what worked, and what i learned. It made 1 mil views in 1 week
aistupidlevel.info
·
5h
·
Discuss:
r/programming
👁️
System Observability
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Hacking with AI SASTs: An Overview of 'AI Security Engineers' / 'LLM Security S
joshua.hu
·
1d
·
Discuss:
Lobsters
,
Hacker News
🛡️
seL4
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Fail loudly: a plea to stop hiding bugs
alejo.ch
·
2d
·
Discuss:
r/programming
🔍
Formal Verification
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
My experience with AI as a front end developer
frontendundefined.com
·
10h
·
Discuss:
Hacker News
💎
Refinement Types
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: Ida Swarm – Multi-agent AI system for automated reverse engineering
github.com
·
12h
·
Discuss:
Hacker News
🛡️
seL4
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Replay - Time Travel Browser DevTools
replay.io
·
2d
·
Discuss:
Hacker News
👁️
System Observability
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Transforming Recursion into Iteration for LLVM Loop Optimizations
dspace.mit.edu
·
23h
·
Discuss:
Hacker News
⚙️
PL Implementation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Biconnected components
emi-h.com
·
19h
·
Discuss:
Hacker News
🧮
Lambda Calculus
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
Page 2 »